Resource Sharing via Capability-Based Multiparty Session Types

Multiparty Session Types (MPST) are a type formalism used to model communication protocols among components in distributed systems, by specifying type and direction of data transmitted. It is standard for multiparty session type systems to use access control based on linear or affine types. While useful in offering strong guarantees of communication safety and session fidelity, linearity and affinity run into the well-known problem of inflexible programming, excluding scenarios that make use of shared channels or need to store channels in shared data structures. In this paper, we develop capability-based resource sharing for multiparty session types. In this setting, channels are split into two entities, the channel itself and the capability of using it. This gives rise to a more flexible session type system, which allows channel references to be shared and stored in persistent data structures. We illustrate our type system through a producer-consumer case study. Finally, we prove that the resulting language satisfies type safety

A cone on Mercury: analysis of a residual central peak encircled by an explosive volcanic vent

We analyse a seemingly-unique landform on Mercury: a conical structure, encircled by a trough, and surrounded by a 23,000 km2 relatively bright and red anomaly of a type interpreted elsewhere on the planet as a pyroclastic deposit. At first glance, this could be interpreted as a volcanically-constructed cone, but if so, it would be the only example of such a landform on Mercury. We make and test the alternative hypothesis that the cone is the intrinsic central peak of an impact crater, the rim crest of which is visible beyond the cone-encircling trough, and that the trough is a vent formed through explosive volcanism that also produced the surrounding bright, red spectral anomaly. We test this hypothesis by comparing the morphology of the cone and the associated landform assemblage with morphologically-fresh impact craters of the same diameter as the putative host crater, and additionally, by modelling the original morphology of such a crater using a hydrocode model. We show that the present topography can be explained by formation of a vent completely encircling the crater’s central peak and also make the observation that explosive volcanic vents frequently occur circumferential to the central peaks of impact craters on Mercury. This indicates that, although this cone initially appears unique, it is in fact an unusually well-developed example of a common process by which impact-related faults localize magma ascent near the centre of impact craters on Mercury, and represents an extreme end-member of the resulting landforms

Measurement of the branching fraction and CP content for the decay B(0) -> D(*+)D(*-)

This is the pre-print version of the Article. The official published version can be accessed from the links below. Copyright @ 2002 APS.We report a measurement of the branching fraction of the decay B0→D*+D*- and of the CP-odd component of its final state using the BABAR detector. With data corresponding to an integrated luminosity of 20.4  fb-1 collected at the Υ(4S) resonance during 1999–2000, we have reconstructed 38 candidate signal events in the mode B0→D*+D*- with an estimated background of 6.2±0.5 events. From these events, we determine the branching fraction to be B(B0→D*+D*-)=[8.3±1.6(stat)±1.2(syst)]×10-4. The measured CP-odd fraction of the final state is 0.22±0.18(stat)±0.03(syst).This work is supported by DOE and NSF (USA), NSERC (Canada), IHEP (China), CEA and CNRS-IN2P3 (France), BMBF (Germany), INFN (Italy), NFR (Norway), MIST (Russia), and PPARC (United Kingdom). Individuals have received support from the A.P. Sloan Foundation, Research Corporation, and Alexander von Humboldt Foundation

Measurement of D-s(+) and D-s(*+) production in B meson decays and from continuum e(+)e(-) annihilation at √s=10.6 GeV

This is the pre-print version of the Article. The official published version can be accessed from the links below. Copyright @ 2002 APSNew measurements of Ds+ and Ds*+ meson production rates from B decays and from qq̅ continuum events near the Υ(4S) resonance are presented. Using 20.8 fb-1 of data on the Υ(4S) resonance and 2.6 fb-1 off-resonance, we find the inclusive branching fractions B(B⃗Ds+X)=(10.93±0.19±0.58±2.73)% and B(B⃗Ds*+X)=(7.9±0.8±0.7±2.0)%, where the first error is statistical, the second is systematic, and the third is due to the Ds+→φπ+ branching fraction uncertainty. The production cross sections σ(e+e-→Ds+X)×B(Ds+→φπ+)=7.55±0.20±0.34pb and σ(e+e-→Ds*±X)×B(Ds+→φπ+)=5.8±0.7±0.5pb are measured at center-of-mass energies about 40 MeV below the Υ(4S) mass. The branching fractions ΣB(B⃗Ds(*)+D(*))=(5.07±0.14±0.30±1.27)% and ΣB(B⃗Ds*+D(*))=(4.1±0.2±0.4±1.0)% are determined from the Ds(*)+ momentum spectra. The mass difference m(Ds+)-m(D+)=98.4±0.1±0.3MeV/c2 is also measured.This work was supported by DOE and NSF (USA), NSERC (Canada), IHEP (China), CEA and CNRS-IN2P3 (France), BMBF (Germany), INFN (Italy), NFR (Norway), MIST (Russia), and PPARC (United Kingdom). Individuals have received support from the Swiss NSF, A. P. Sloan Foundation, Research Corporation, and Alexander von Humboldt Foundation

Measurement of the B0-anti-B0-Oscillation Frequency with Inclusive Dilepton Events

The $B^0$-$\bar B^0$ oscillation frequency has been measured with a sample of 23 million \B\bar B pairs collected with the BABAR detector at the PEP-II asymmetric B Factory at SLAC. In this sample, we select events in which both B mesons decay semileptonically and use the charge of the leptons to identify the flavor of each B meson. A simultaneous fit to the decay time difference distributions for opposite- and same-sign dilepton events gives $\Delta m_d = 0.493 \pm 0.012{(stat)}\pm 0.009{(syst)}$ ps$^{-1}$.Comment: 7 pages, 1 figure, submitted to Physical Review Letter

A review of elliptical and disc galaxy structure, and modern scaling laws

A century ago, in 1911 and 1913, Plummer and then Reynolds introduced their models to describe the radial distribution of stars in `nebulae'. This article reviews the progress since then, providing both an historical perspective and a contemporary review of the stellar structure of bulges, discs and elliptical galaxies. The quantification of galaxy nuclei, such as central mass deficits and excess nuclear light, plus the structure of dark matter halos and cD galaxy envelopes, are discussed. Issues pertaining to spiral galaxies including dust, bulge-to-disc ratios, bulgeless galaxies, bars and the identification of pseudobulges are also reviewed. An array of modern scaling relations involving sizes, luminosities, surface brightnesses and stellar concentrations are presented, many of which are shown to be curved. These 'redshift zero' relations not only quantify the behavior and nature of galaxies in the Universe today, but are the modern benchmark for evolutionary studies of galaxies, whether based on observations, N-body-simulations or semi-analytical modelling. For example, it is shown that some of the recently discovered compact elliptical galaxies at 1.5 < z < 2.5 may be the bulges of modern disc galaxies.Comment: Condensed version (due to Contract) of an invited review article to appear in "Planets, Stars and Stellar Systems"(www.springer.com/astronomy/book/978-90-481-8818-5). 500+ references incl. many somewhat forgotten, pioneer papers. Original submission to Springer: 07-June-201

Search for Gravitational Waves from Primordial Black Hole Binary Coalescences in the Galactic Halo

We use data from the second science run of the LIGO gravitational-wave detectors to search for the gravitational waves from primordial black hole (PBH) binary coalescence with component masses in the range 0.2--$1.0 M_\odot$. The analysis requires a signal to be found in the data from both LIGO observatories, according to a set of coincidence criteria. No inspiral signals were found. Assuming a spherical halo with core radius 5 kpc extending to 50 kpc containing non-spinning black holes with masses in the range 0.2--$1.0 M_\odot$, we place an observational upper limit on the rate of PBH coalescence of 63 per year per Milky Way halo (MWH) with 90% confidence.Comment: 7 pages, 4 figures, to be submitted to Phys. Rev.

Measurement of the Branching Fraction for B- --> D0 K*-

We present a measurement of the branching fraction for the decay B- --> D0 K*- using a sample of approximately 86 million BBbar pairs collected by the BaBar detector from e+e- collisions near the Y(4S) resonance. The D0 is detected through its decays to K- pi+, K- pi+ pi0 and K- pi+ pi- pi+, and the K*- through its decay to K0S pi-. We measure the branching fraction to be B.F.(B- --> D0 K*-)= (6.3 +/- 0.7(stat.) +/- 0.5(syst.)) x 10^{-4}.Comment: 7 pages, 1 postscript figure, submitted to Phys. Rev. D (Rapid Communications

A Study of Time-Dependent CP-Violating Asymmetries and Flavor Oscillations in Neutral B Decays at the Upsilon(4S)

We present a measurement of time-dependent CP-violating asymmetries in neutral B meson decays collected with the BABAR detector at the PEP-II asymmetric-energy B Factory at the Stanford Linear Accelerator Center. The data sample consists of 29.7 ${\rm fb}^{-1}$ recorded at the $\Upsilon(4S)$ resonance and 3.9 ${\rm fb}^{-1}$ off-resonance. One of the neutral B mesons, which are produced in pairs at the $\Upsilon(4S)$, is fully reconstructed in the CP decay modes $J/\psi K^0_S$, $\psi(2S) K^0_S$, $\chi_{c1} K^0_S$, $J/\psi K^{*0}$ ($K^{*0}\to K^0_S\pi^0$) and $J/\psi K^0_L$, or in flavor-eigenstate modes involving $D^{(*)}\pi/\rho/a_1$ and $J/\psi K^{*0}$ ($K^{*0}\to K^+\pi^-$). The flavor of the other neutral B meson is tagged at the time of its decay, mainly with the charge of identified leptons and kaons. The proper time elapsed between the decays is determined by measuring the distance between the decay vertices. A maximum-likelihood fit to this flavor eigenstate sample finds $\Delta m_d = 0.516\pm 0.016 {\rm (stat)} \pm 0.010 {\rm (syst)} {\rm ps}^{-1}$. The value of the asymmetry amplitude $\sin2\beta$ is determined from a simultaneous maximum-likelihood fit to the time-difference distribution of the flavor-eigenstate sample and about 642 tagged $B^0$ decays in the CP-eigenstate modes. We find $\sin2\beta=0.59\pm 0.14 {\rm (stat)} \pm 0.05 {\rm (syst)}$, demonstrating that CP violation exists in the neutral B meson system. (abridged)Comment: 58 pages, 35 figures, submitted to Physical Review